Merge openjdk-17 (17.0.18+8-1~deb12u1) import into refs/heads/workingbranch
authorMoritz Mühlenhoff <jmm@debian.org>
Thu, 22 Jan 2026 22:15:51 +0000 (23:15 +0100)
committerMoritz Mühlenhoff <jmm@debian.org>
Thu, 22 Jan 2026 22:15:51 +0000 (23:15 +0100)

Trivial merge